fix(registry): repair invalid/wrong TOML repo keys, dedupe verisimdb-data - #46
Merged
Conversation
…data Found while double-checking the state of main after #44/#45 merged. verisim/seed/repos.a2ml was NOT valid TOML — tomllib.load() errored before this fix. Four bugs, all pre-existing (not introduced by #44/#45): - [repo..git-private-farm] and [repo..github]: repo names starting with a literal dot produce an empty key segment between the two dots (repo + "" + git-private-farm) — a hard TOML parse error. Quoted: [repo.".git-private-farm"] / [repo.".github"]. - [repo.hyperpolymath.github.io] and [repo.EchoTypes.jl]: these parse (dots are valid bare-key separators) but as 3-level nested tables (repo.hyperpolymath.github.io, repo.EchoTypes.jl) instead of the clearly-intended single table keyed by the literal name — silently wrong structure, not a parse error. Every sibling .jl-suffixed entry in the file already quotes correctly (e.g. [repo."Axiom.jl"]); these two just missed it. Quoted to match. - [repo.verisimdb-data] was declared TWICE (line 374, hand-curated: clade=db, completion=50; line 2650, from the 2026-06-25 heuristic backfill: clade=rm, completion=0) — TOML forbids redeclaring a table, so this alone made the file unparseable regardless of the key-quoting bugs above. Kept the original (line 374); removed the backfill duplicate. worker/data/repos.json's single verisimdb-data entry had the same problem in miniature (it held the backfill's clade=rm values) — reconciled to match the surviving canonical entry. Verified: `python3 -c "import tomllib; tomllib.load(...)"` now succeeds (319 repo entries) and worker/data/{repos,index}.json still validate as JSON (JSON keys are always quoted, so it can't have the same key-parsing bug, but repos.json's verisimdb-data value was wrong regardless).
|
hyperpolymath
marked this pull request as ready for review
July 2, 2026 04:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.



Summary
Found while double-checking
mainafter #44/#45 merged —verisim/seed/repos.a2mlwas not valid TOML,tomllib.load()errored before this fix. Four pre-existing bugs (none introduced by #44/#45):[repo..git-private-farm]and[repo..github]— repo names starting with a literal dot produce an empty key segment between the two dots (repo+""+git-private-farm), a hard TOML parse error. Quoted:[repo.".git-private-farm"]/[repo.".github"].[repo.hyperpolymath.github.io]and[repo.EchoTypes.jl]— these parse (dots are valid bare-key separators) but as 3-level nested tables instead of the clearly-intended single table keyed by the literal name — silently wrong structure, not a parse error. Every sibling.jl-suffixed entry already quotes correctly (e.g.[repo."Axiom.jl"]); these two just missed it.[repo.verisimdb-data]was declared twice — line 374 (hand-curated:clade=db,completion=50) and line 2650 (2026-06-25 heuristic backfill:clade=rm,completion=0). TOML forbids redeclaring a table, so this alone made the file unparseable regardless of the key-quoting bugs above. Kept the hand-curated original, removed the backfill duplicate.worker/data/repos.json's singleverisimdb-dataentry held the backfill's wrong values (clade: "rm") — reconciled to match the surviving canonical entry (clade: "db").Test plan
python3 -c "import tomllib; tomllib.load(open('verisim/seed/repos.a2ml','rb'))"— now succeeds, 319 repo entriespython3 -c "import json; json.load(...)"on both worker JSON files — valid🤖 Generated with Claude Code